Op deze pagina kunt u een gedetailleerde analyse krijgen van een woord of zin, geproduceerd met behulp van de beste kunstmatige intelligentietechnologie tot nu toe:
Em lógica e filosofia, S5 é um dos cinco sistemas de lógica modal propostos por Clarence Irving Lewis e Cooper Harold Langford no livro Symbolic Logic, de 1932. É uma lógica modal normal, e um dos mais velhos sistemas de lógica modal.